Your search returned 2 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 1998 Volume number : 24 Issue: 03

Design Of Flexible Static Program Analyzers With Pql (Article)
Subject: Program Analysis For Understanding , Program Plan And Goals , Reverse Engineering
Author: Stan Jarzabek     
page:      197 - 215
Extending Statecharts With Temporal Logic (Article)
Subject: Concurrency , Fnlog , Formal Specification
Author: Arcot Sowmya      S Ramesh     
page:      216 - 231